Tsc2<tm1Jusa> http://identifiers.org/mgd/MGI:5471751 Null/knockout targeted mutation 1, Junichi Sadoshima MGI:5471751